Add details about the debian mirrors into the web report. 🔼

In the "DNS and logs" section, add a list of redirects for each IP.

Duplicate the "package mirror status" as "Debian mirror status", "DNS and logs" as "Debian DNS and logs" (no redirects?), and maybe the "graphs" section as "Debian graphs".

reported=2019-12-24 05:48:28

reporter=onefang

priority=high

category=TODO

severity=feature

resolution=fixed

2019-12-25 08:49:57 onefang: No graph, since we aren't collecting speed data for these hosts anyway. We are collecting RRD data for the errors and such though.